home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / sum3angles.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  387 b   |  13 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.11831, 0.202817, .L0, "1");
  3. v2 = .free(0.323944, 0.405634, .L0, "2");
  4. v3 = .free(0.225352, -0.287324, .L0, "3");
  5. l1 = .l.vv(v1, v2, .L0);
  6. l2 = .l.vv(v2, v3, .L0);
  7. l3 = .l.vv(v3, v1, .L0);
  8. a1 = .a.vvv(v1, v2, v3, "a123");
  9. a2 = .a.vvv(v2, v3, v1, "a231");
  10. a3 = .a.vvv(v3, v1, v2, "a312");
  11. len4 = .len.plus(a1, a2);
  12. len5 = .len.plus(len4, a3, "sum");
  13.